Algorithm engineering

Results: 1680



#Item
411Computing / Compiler construction / Static single assignment form / Register allocation / Constant folding / Program optimization / Algorithm / Continuation-passing style / Data-flow analysis / Compiler optimizations / Software engineering / Programming language theory

1 Lots of authors Static Single Assignment Book Tuesday 8th July, 2014

Add to Reading List

Source URL: ssabook.gforge.inria.fr

Language: English - Date: 2014-07-08 12:41:27
412Python / Raspberry Pi / Algorithm / Pi / ALGOL 68 / Computing / Software engineering / Programming language theory

REVIEWS BOOKS Learning Python with Raspberry Pi Graham Morrison absolutely hates this book. It’s rubbish. Honestly. F

Add to Reading List

Source URL: www.linuxvoice.com

Language: English - Date: 2015-02-09 09:27:26
413Numerical linear algebra / Chemical engineering / Stability theory / Eigenvalue algorithm / Navier–Stokes equations / Bifurcation theory / Matrix / Eigenvalues and eigenvectors / Fluid dynamics / Algebra / Mathematics / Aerodynamics

Stability Analysis of LargeScale Incompressible Flow Calculations on Massively Parallel Computers Andrew G. Salinger, Richard Lehoucq, and Louis Romero Sandia National Laboratories1

Add to Reading List

Source URL: www.cs.sandia.gov

Language: English - Date: 2001-12-20 15:48:37
414Software engineering / Theoretical computer science / Notation / Programming language / ALGOL 68 / Software development process / Agile software development / Algorithm / Abstraction / Formal methods / Computing / Software development

Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2012-02-19 15:58:07
415Transformation / Linear algebra / Matrices / Projective geometry / Image processing / Epipolar geometry / Fundamental matrix / Image rectification / Eight-point algorithm / Geometry / Algebra / Mathematics

A Study on the Planar Rectification of Self-Calibrated Stereo Images Jong Soo Lee School of Computer Engineering and Information Technologies, Univ. of Ulsan Ulsan, , Korea and

Add to Reading List

Source URL: prism2.mem.drexel.edu

Language: English - Date: 2008-10-12 15:57:37
416Increment / Software engineering / Pruning / Heuristic / Algorithm / C / Computer programming / Computing / Heuristics / Heuristic function

Metis: Arming Fast Downward with Pruning and Incremental Computation Yusra Alkhazraji Michael Katz ¨

Add to Reading List

Source URL: ai.cs.unibas.ch

Language: English - Date: 2014-07-21 07:51:13
417Planning / Management / Business / Operations research / Max-min fairness / Scheduling / Fairness measure / Bottleneck / Routing and wavelength assignment / Scheduling algorithms / Routing algorithms / Network performance

FAIR MATCHING ALGORITHM: FIXED-LENGTH FRAME SCHEDULING IN ALL-PHOTONIC NETWORKS Nahid Saberi and Mark Coates Department of Electrical and Computer Engineering McGill University Montreal, QC, Canada

Add to Reading List

Source URL: www.tsp.ece.mcgill.ca

Language: English - Date: 2006-07-13 16:30:03
418Computing / Data types / Constraint programming / Inference / Program analysis / Type system / Type inference / Function / Monad / Software engineering / Type theory / Mathematics

An Algorithm for Checking the Disjointness of Types Manfred Widera Fachbereich Informatik FernUniversität HagenHagen Germany

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:06:09
419Information / Convolutional code / Forward error correction / Orthogonal frequency-division multiplexing / Turbo code / Concatenated error correction code / Coding theory / BCJR algorithm / Trellis modulation / Error detection and correction / Telecommunications engineering / Technology

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON BROADCASTING 1 Comparison of Convolutional and Turbo

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2007-06-29 06:52:43
420Computing / Constraint programming / Search algorithm / Mathematical optimization / Solver / Local search / Boolean data type / Travelling salesman problem / ALGOL 68 / Operations research / Software engineering / Theoretical computer science

Toward Local Search Programming: LocalSolver 1.0 Thierry Benoist1 , Bertrand Estellon2 , Fr´ed´eric Gardi1 , Karim Nouioua2 1 2

Add to Reading List

Source URL: tbenoist.pagesperso-orange.fr

Language: English - Date: 2011-03-16 02:41:44
UPDATE